/* 
 * File:   TruthTable.h
 * Author: hamed
 *
 * Created on October 29, 2010, 2:06 PM
 */

#ifndef _TRUTHTABLE_H
#define	_TRUTHTABLE_H

#include <map>
#include "TupleK.h"
#include <iostream>

using namespace std;

class TruthTable {
public:
    TruthTable(int var_num);
    virtual ~TruthTable();
    TupleK* getTupleAt(int index);
    void print();
    int getLength();
    int getWidth();
private:
    //map<int, TupleK*> *table;
    TupleK** table;
    int length;
    int varLength;
};

#endif	/* _TRUTHTABLE_H */

